probFD

Benchmark
Model:ij v.1 (MDP)
Parameter(s)num_tokens_var = 60
Property:stable (prob-reach)
Invocation (default)
python2.7 ../probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py ij.60.jani -c ../probfd-qcomp19/jani-to-ppddl/config_mutual.py
python2.7 ../probfd-qcomp19/builds/release64/bin/translate/translate.py ij.60-domain.ppddl ij.60-problem.ppddl
../probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Execution
Walltime:> 1800s (Timeout)
Log
Parsing...
STDERR
predicate used with wrong arity: (value n1)
Log
reading input... [t=0.00012423s]
done reading input! [t=0.020875s]
variables: 1201
goals: 1
actions: 16100
axioms: 0
has conditional effects: 0
reconstructing probabilistic actions... [t=0.0208972s]
done reconstructing probabilistic actions! [t=0.0331231s]
probabilistic actions: 16000 (with 16100 outcomes)
constructing successor generator... [t=0.0353052s]
done constructing successor generator! [t=0.0466426s]
Bytes per state: 152
Property: MaxProb
Preparing hmax dead end detection heuristic... [t=0.0470059s]
hmax initialization done! [t=0.0494292s]
Engine: FRET-pi with HDP
Starting trap elimination heuristic search wrapper...


----------
Computation aborted after 1800.9634745121002 seconds since the total time limit of 1800 seconds was exceeded.